하나의 프로그램에서 서로 다른 결과가 도출되거나 프로그래머의 기대와는 다르게 전혀 다른 결과값이 나올 수 있다. 따라서 모호성이 허용되는 자연어와는 달리 프로그래밍언어에서는 서로 다른 의미로 해석될 가능성이 없도록 모호성을 제거함으로써 그 의미를 명확하게 할 필요가 있다.
프로그래밍 언어이든, 언어는 의사소통의 수단이라는 의미에서 상대가 쉽게 이해할 수 있도록 표현을 사용하는 것이 바람직하다. 특히 최근의 소프트웨어 생산은 협업을 통해 이루어지는 경우가 많은 만큼, 문법에 오류가 없으면서 동시에 읽기 쉬울 때 소프트웨어 개발에 더 효율적이라고 할 수 있다.
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
④ 논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
④ 논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
1. 다음에 대해 답하시오. (15점)
(1) 메모리에 적재된 프로그램의 기계어 명령어 하나를 컴퓨터의 CPU가 수행하는 과정에 대해 간략히 설명하시오.
컴퓨터 전원을 켜면 컴퓨터는 저장장치에 있는 운영체제가 메모리에 적재되어 수행된다. 즉, 운영체제 프로그램이 메모리에 적재된 후 인출-해석-실행